TAILREC

open fun TAILREC(): TerminalNode